((Unfolds ``all decidable p{-}co{-}filter`` 0) 
\\[0ex]CollapseTHEN (Auto$\cdot$))$\cdot$